nLab Quantization as a Kan Extension

This page used to point to some notes on the idea of formalizing quantization (the supposed process that takes prequantum field theory/classical field theory to quantum field theory) by essentially realising the path integral as a Kan extension.

The content that used to be here has been superseded. Discussion of quantization in terms of Kan extension and pushforward in generalized cohomology is now at motivic quantization, with notes being at master thesis Nuiten and Quantization via Linear homotopy types .